boxpointer: Queue relayout after updating arrow side

We currently queue a repaint after setting a new arrow side, but
that seems insufficient - moving the arrow from top/bottom to the
left/right for example may very well affect the layout, plus the
arrow may need flipping due to size constraints (which happens
on allocation).

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/4120>
(cherry picked from commit 8f19a2c1b82e5eb67c33a8b25a235264c3b2a920)

diff --git a/js/ui/boxpointer.js b/js/ui/boxpointer.js
index c758911b48d70d34327aab10d855f2bdd6abca5d..1fe2795beb1298a7eff11ca831349cd1cf05bbaf 100644 (file)
--- a/js/ui/boxpointer.js
+++ b/js/ui/boxpointer.js
@@ -667,7 +667,7 @@ export const BoxPointer = GObject.registerClass({
 
     updateArrowSide(side) {
         this._arrowSide = side;
-        this._border.queue_repaint();
+        this.queue_relayout();
 
         this.emit('arrow-side-changed');
     }